; TEST-ARGS: -disallow-ub-exploitation
; SKIP-IDENTITY

define void @src() null_pointer_is_valid {
  %a = alloca i8
  %b = getelementptr inbounds i8, ptr %a, i8 1
  %c = getelementptr inbounds i8, ptr %b, i64 -1
  store i8 0, ptr %c
  ret void
}
